Claude Can (Sometimes) Prove It
galois.com·3h·
Discuss: Lobsters, Hacker News
🧠Automated Reasoning
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·11h
📚Automata Learning
List of 87 Programming Ideas for Beginners
inventwithpython.com·5h·
Discuss: r/programming
🧮Lambda Calculus
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·1h·
Discuss: Substack
✓Automated Theorem Proving
Your Unit Tests Suck
medium.com·10h·
Discuss: Hacker News
🧪Property-Based Testing
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
✅Model Checking
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
✓Automated Theorem Proving
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·2d·
Discuss: Hacker News
🐫OCaml
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Cuprum 2929: a fun educational game for kids and adults
vaslabs.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
How to implement the Outbox pattern in Go and Postgres
medium.com·12h·
Discuss: Lobsters
📊Runtime Verification
The Case for Compact AI – Communications of the ACM
dl.acm.org·19h·
Discuss: Hacker News
📚Automata Learning
SevenDB : a reactive and scalable database
reddit.com·3h·
Discuss: r/programming
🔄Reproducible Builds
Be Engineering Insights: Adventures in Graphics Drivers
haiku-os.org·14h·
Discuss: Hacker News
🔧Unikernel Development
The Rise of Tool Users
minimal-reflections.pages.dev·14h·
Discuss: Hacker News
📐Denotational Semantics
You can't test if quantum uses complex numbers
algassert.com·1d·
Discuss: Hacker News
🧩Separation Logic
Machine Learning in punch card COBOL from the ‘60s? Of course we can!
blog.stackademic.com·8h·
Discuss: r/programming
🐫Embedded OCaml
Puzzle Games Online – Free Brain Training and Fun Puzzle Challenges
puzzlegames.cc·2d·
Discuss: Hacker News
✓Automated Theorem Proving